Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
71	dD5.2 Detailed specification and development of demonstration activities Add to Reading List Source URL: grid4eu.blob.core.windows.net Language: English - Date: 2015-03-13 12:33:35 Software development process Software engineering Specification CEZ Group Formal specification Technology Ethology Formal methods Science Methodology
72	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
73	PDF Document Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:08 Music Automata theory Models of computation Algorithm Mathematical logic Theoretical computer science Formal specification Specification G-code Computing Formal methods Software engineering
74	Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone Formal Methods 2008 15th International Symposium on Formal Methods May 26-30, 20 Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:53:19 D Technology Management Information Yamato Transport Formal specification Specification language Specification
75	PDF Document Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2010-11-08 10:51:38 Technology Science Software engineering Theoretical computer science Software requirements Formal verification Software verification Formal specification Problem frames approach Software development Formal methods Systems engineering
76	Microsoft Word - Call for Papers - Letter.docx Add to Reading List Source URL: fmseet.aau.at Language: English - Date: 2015-03-27 06:05:41 Science Knowledge Software development process Formal specification Software engineer Computer science Education On the Cruelty of Really Teaching Computer Science Formal methods Software engineering Software development
77	A Survey of Industrial Applications of Formal Methods Professor Peter Gorm Larsen Engineering College of Aarhus () Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:34:32 Theoretical computer science Vienna Development Method Formal specification John Fitzgerald Life-critical system Software development process SIGNAL Analysis Formal methods Software development Science
78	X Locale Database Specification Add to Reading List Source URL: www.x.org Language: English - Date: 2012-06-06 02:15:05 Software engineering Computer programming String Delimiter Regular expression ISO/IEC 8859-1 C string handling Locale Computing Pattern matching Formal languages
79	Frama-C Training Session Introduction to ACSL and its GUI Virgile Prevosto CEA List October 21st , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 ANSI/ISO C Specification Language C programming language Frama-C Program logic Logic in computer science Formal sciences Hoare logic Logic Polyspace Software engineering Computer programming Computing
80	Microsoft Word - AbstractionSoSyM1072.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:47:55 Abstraction Philosophy of mind Data management Programming language Abstract art Concept Formal specification Logic simulation Abstraction principle Thought Mind Cognition

UPDATE